A Theoretical Analysis of Hierarchical Proofs
نویسندگان
چکیده
Hierarchical proof presentations are ubiquitous within logic and computer science, but have made little impact on mathematics in general. The reasons for this are not currently known, and need to be understood if mathematical knowledge management systems are to gain acceptance in the mathematical community. We report on some initial experiments with three users of a set of web-based hierarchical proofs, which suggest that usability problems could be a factor. In order to better understand these problems we present a theoretical analysis of hierarchical proofs using Cognitive Dimensions [6]. The analysis allows us to formulate some concrete hypotheses about the usability of hierarchical proof presentations.
منابع مشابه
Testing Multidimensional and Hierarchical Model of School Motivation Questionnaire
Abstract Objective: One of the theories that motivation into a multi-objective model considers, Mayer's theory of personal investment. This theory is a useful framework for evaluating multi-dimensional and hierarchical nature of goal provides the motivation. The aim of this study is to investigate a multi-dimensional and hierarchical structure of achievement goal orientation. Methods: The popul...
متن کاملValue Engineering and AHP Analysis of Intelligent Metering in Iran's Electricity Grid
This paper aims to analyze the implementation of smart meters implementation based on the value engineering integration approach and the AHP hierarchical ranking method. Value engineering strives to identify unnecessary functions by identifying product or project functions and by removing them to focus on other ways that they can fulfill the essential functions. To this end, in this study, firs...
متن کاملAnalysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System
Automatic proof systems are becoming more and more powerful. However, the proofs generated by these systems are not met with wide acceptance, because they are presented in a way inappropriate for human understanding. In this paper we pursue two diierent, but related, aims. First we describe methods to structure and transform equational proofs in a way that they conform to human reading conventi...
متن کاملHierarchical Principle in the Problem of a Typological System Development
The study contains the theoretical review of different historical approaches to the study of typological properties of a man. One of the well-known typological systems in foreign psychology has been developed in constitutionology, juvenility characteristics, however, haven’t been included in its structure. On the basis of the studied samples the authors of the research consider the empirical pr...
متن کاملComparison of Error Tree Analysis and TRIPOD BETA in Accident Analysis of a Power Plant Industry Using Hierarchical Analysis
Introduction: Due to the importance and necessity of accident analysis, it is necessary to use proper technique for precise accident analysis and to provide corrective and preventive measures to prevent recurrence of an accident. Method: In this descriptive-analytical paper, the most important criteria for investigating and selecting accident investigation and analysis techniques and selecting...
متن کامل